Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
71	SAMPLE QUESTION PAPER OF G SCHEME CM SQPOGSC-18-WORG6-PDF \| File Size 2,000 KB \| 37 Pages \| 7 Aug, 2016 TABLE OF CONTENT Introduction Add to Reading List Source URL: woodworking-books.org Language: English - Date: 2016-08-22 10:05:53 Software engineering Programming language theory Computing Portable Document Format Scheme
72	44 Volume 44, Part B December 2015 ISSNPB Add to Reading List Source URL: www-fp.cs.st-andrews.ac.uk Language: English - Date: 2015-11-20 19:38:01 Software engineering Computer programming Programming language theory Curr D Sjaak
73	LGF Transport Business Case Report A28 Chart Road CO04300369/008 Revision 01 January 2016 Add to Reading List Source URL: www.southeastlep.com Language: English - Date: 2016-02-11 11:31:11 Programming language theory Software engineering Computer programming Business case PRINCE2 Project management Cumberland Highway Scheme Local enterprise partnership A28
74	AF T Chapter 5 Programming with Dependent Types Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-09-10 12:37:20 Software engineering Computer programming Programming language theory Functional languages Procedural programming languages Subroutines Data types C++ ATS ALGOL 68 ML C++ classes
75	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
76	Science Course Pathways for Middle and High School On April 27th, 2015, a work group of science teachers, higher education representatives, administrators and instructional leaders gathered to create recommended model co Add to Reading List Source URL: doe.sd.gov Language: English - Date: 2015-08-06 16:54:55 Software engineering Programming language theory Computer programming ALGOL 68 European Research Council Resident Evil
77	CSE 341, Winter 2013, Assignment 1 Due: Wednesday January 16, 11:00PM You will write 11 SML functions (and tests for them) related to calendar dates. In all problems, a “date” is an SML value of type intintint, whe Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-11 23:17:39 Software engineering Programming language theory Computer programming Procedural programming languages Functional languages C ALGOL 68 INT ML Ordinal date Struct Higher-order function
78	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
79	SIP Phone KX-UT Series Enhance the Scope of Your IP Voice Communications KX-UT670 Add to Reading List Source URL: panasonic.net Language: English - Date: 2013-06-10 20:39:43 Software engineering Computing Programming language theory APL programming language family K VoIP phone
80	The Pivot a sourcetosource framework for more elegant and efficient code Peter Pirkelbauer, Texas A&M University Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:33:19 Software engineering Computer programming Programming language theory C++ Object-oriented programming languages Cross-platform software Procedural programming languages Const Template D Concepts ALGOL 68

UPDATE